Automated Checking and Visualization of Interlocks in the Isac Control System
نویسنده
چکیده
The EPICS based control system of the ISAC radioactive beam facility supervises several subsystems, which are controlled by PLCs. Most of the devices are protected by non-trivial interlocks, which are implemented with ladder-logic software. Detailed information on interlock state and the individual interlock conditions are accessible for each device at the EPICS operator interface level. With the increasing number of ISAC devices, the interactive generation and maintenance of these displays with standard EPICS tools was too labor-intensive and error-prone. Software was developed, which uses a printout of the PLC program as well as reports from the ISAC device database to a) check the interlock implementation in the PLC against interlock specifications in natural language and b) generate device displays with a graphical representation of interlock state and details of interlock conditions.
منابع مشابه
Evaluation of the Portal Imaging System Performance for an Elekta Precise Linac in Radiotherapy
Introduction: Electronic portal imaging devices (EPIDs) provide two- and three-dimensional planar and volumetric cone beam images to improve the accuracy of radiation treatment delivery. Periodic quality assurance (QA) of EPIDs is essential for dosimetric verification in radiotherapy. In this study, a QA program was implemented to evaluate the function of the EPID to be confident in applying co...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملReducing Retrieval Time in Automated Storage and Retrieval System with a Gravitational Conveyor Based on Multi-Agent Systems
The main objective of this study is to reduce the retrieval time of a list of products by choosing the best combination of storage and retrieval rules at any time. This is why we start by implementing some storage rules in an Automated Storage/Retrieval System (Automated Storage and Retrieval System: AS/RS) fitted with a gravity conveyor while some of these rules are dedicated to storage and ot...
متن کاملUpgrade of the Isac Device Database from Paradox to Postgresql
The relational device database for the EPICS control system of the ISAC Radioactive Beam Facility at TRIUMF is at the centre of generating EPICS data bases, operator display panels, and verifying PLC interlocks against specifications. For historical reasons, this database is implemented using Paradox on PCs with shared access to a file server. Use of the database is thus limited to PC nodes wit...
متن کامل